 |
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1994 Volume number : 20 Issue: 01 |
Flow Control For Limited Buffer Multicast
(Article)
Subject:
Flow Control Protocols
,
Flow Control
Author:
P. B
Danzig
page:
1
-
12\
Timing Analysis For Fixed-Priority Scheduling Of Hard Real-Time Systems
(Article)
Subject:
Timing Analysis
,
Real Time Control
Author:
Michael Gonzalez
Harbour
Mark H.
Klein
John P.
Lehoczky
page:
13
-
28
Automatic Analysis And Test Case Derivation For A Restricted Class Of Lotos Expressions With Data Parameters
(Article)
Subject:
Automatic Test Case Derivation
,
Protocol Models
,
Lotos
Author:
Teruo
Higashino
Gregor V.
Bochmann
page:
29
-
42
Efficient Detection And Resolution Of Generalized Distributed Deadlocks
(Article)
Subject:
Distributed Snapshot
,
Graph Reduction
,
Generalized Deadlock
Author:
Ajay D.
Kshemkalyani
Mukesh
Singhal
page:
43
-
54
Software Testing Based On Sdl Specifications With Save
(Article)
Subject:
Specification
,
Verification
,
Interfaces
Author:
Simon S
Lam
A. Udaya
Shankar
page:
72
-
87
A Formal Model For Module Interconnection Languages
(Article)
Subject:
Ccitt Sdl
,
Communication Software
,
Software Testing
Author:
Gang
Luo
Anindya
Das
Gregor V.
Bochmann
page:
88
-
101
|
|
| | |
